منابع مشابه
Permutation Models and SVC
Let M be a model of ZFAC (ZFC modified to allow a set of atoms), and let N be an inner model with the same set of atoms and the same pure sets (sets with no atoms in their transitive closure) as M . We show that N is a permutation submodel of M if and only if N satisfies the principle SVC (Small Violations of Choice), a weak form of the axiom of choice which says that in some sense, all violati...
متن کاملPermutation Models for Collaborative Ranking
We study the problem of collaborative filtering where ranking information is available. Focusing on the core of the collaborative ranking process, the user and their community, we propose new models for representation of the underlying permutations and prediction of ranks. The first approach is based on the assumption that the user makes successive choice of items in a stage-wise manner. In par...
متن کاملPermutation Tests for Linear Models
Several approximate permutation tests have been proposed for tests of partial regression coefficients in a linear model based on sample partial correlations. This paper begins with an explanation and notation for an exact test. It then compares the distributions of the test statistics under the various permutation methods proposed, and shows that the partial correlations under permutation are a...
متن کاملPermutation Orientifolds of Gepner Models
In tensor products of a left-right symmetric CFT, one can define permutation orientifolds by combining orientation reversal with involutive permutation symmetries. We construct the corresponding crosscap states in general rational CFTs and their orbifolds, and study in detail those in products of affine U(1)2 models or N = 2 minimal models. The results are used to construct permutation orientif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2007
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1179323265